bounded aggregate

有界集